Alloy 표현 분석 모델 "제2장 책임 관계"

분석 모드를 Alloy로 표현하려는 시도 2.1 파티 사람이나 조직을 추상화하는 개념을'파티'에 도입하다. 실행 결과 2.2 계층 구조 차원 제한은alloy로 직접 설명할 수 있습니다. 실행 결과 두 조직의 차원 실행 결과...

분석 모드Alloy